Tasiran, S. : rechercher sur Z-Library

Le plus grand référentiel d'articles scientifiques au monde. 70,000,000+ d'articles gratuitement.

Don't use scam websites

Livres
Articles (75)
Les plus populaires
Liste
- Liste
- Tableau

1

Checking Cache-Coherence Protocols with TLA+

Rajeev Joshi, Leslie Lamport, John Matthews, Serdar Tasiran, Mark Tuttle, Yuan Yu

Journal:

Formal Methods in System Design

Année:

2003

Langue:

english

Fichier:

PDF, 55 KB

english, 2003

2

Model checking boot code from AWS data centers

Cook, Byron, Khazem, Kareem, Kroening, Daniel, Tasiran, Serdar, Tautschnig, Michael, Tuttle, Mark R.

Journal:

Formal Methods in System Design

Année:

2020

Fichier:

PDF, 538 KB

2020

3

University rankings: theoretical basis, methodology and impacts on global higher education

Tasiran, Ali C.

Journal:

Studies in Continuing Education

Année:

2012

Langue:

english

Fichier:

PDF, 64 KB

english, 2012

4

Geology, zonation, and fluid evolution of the Big Gossan Cu-Au skarn deposit, Ertsberg District, Irian Jaya

Meinert, L. D., Hefton, K. K., Mayes, D., Tasiran, I.

Journal:

Economic Geology

Année:

1997

Langue:

english

Fichier:

PDF, 1.69 MB

english, 1997

5

Signs of change in Turkey's working class: workers' age-related perceptions in the modern manufacturing sector*

Theo Nichols, Nadir Sugur, Ali C. Tasiran

Journal:

The British Journal of Sociology

Année:

2003

Langue:

english

Fichier:

PDF, 229 KB

english, 2003

6

Linking simulation with formal verification at a higher level

Tasiran, S., Yuan Yu,, Batson, B.

Journal:

IEEE Design & Test of Computers

Année:

2004

Langue:

english

Fichier:

PDF, 168 KB

english, 2004

7

Coverage metrics for functional validation of hardware designs

Tasiran, S., Keutzer, K.

Journal:

IEEE Design & Test of Computers

Année:

2001

Langue:

english

Fichier:

PDF, 125 KB

english, 2001

8

Trust, Employer Exposure and the Employment Relation

Nichols, T., Danford, A., Tasiran, A. C.

Journal:

Economic and Industrial Democracy

Année:

2009

Langue:

english

Fichier:

PDF, 129 KB

english, 2009

9

TreeJuxtaposer

Munzner, Tamara, Guimbretière, François, Tasiran, Serdar, Zhang, Li, Zhou, Yunhong

Journal:

ACM Transactions on Graphics

Année:

2003

Langue:

english

Fichier:

PDF, 1.03 MB

english, 2003

10

[Lecture Notes in Computer Science] Computer Aided Verification Volume 11562 (31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II) ||

Dillig, Isil, Tasiran, Serdar

Année:

2019

Langue:

english

Fichier:

PDF, 19.73 MB

english, 2019

11

[Lecture Notes in Computer Science] Computer Aided Verification Volume 11561 (31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I) ||

Dillig, Isil, Tasiran, Serdar

Année:

2019

Langue:

english

Fichier:

PDF, 24.28 MB

english, 2019

12

Runtime Refinement Checking of Concurrent Data Structures

Serdar Tasiran, Shaz Qadeer

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2005

Langue:

english

Fichier:

PDF, 265 KB

english, 2005

13

Local authority family centre intervention: a statistical exploration of services as family support or family control

Pithouse, Tasiran

Journal:

Child & Family Social Work

Année:

2000

Langue:

english

Fichier:

PDF, 158 KB

english, 2000

14

A reply to Walker’s note: A comment on Taşiran’s ‘Wage and income effects on the timing and spacing of births in Sweden and in the United States’

Ali C. Taşiran

Journal:

Journal of Population Economics

Année:

2002

Langue:

english

Fichier:

PDF, 95 KB

english, 2002

15

Location pairs: a test coverage metric for shared-memory concurrent programs

Serdar Tasiran, M. Erkan Keremoğlu, Kivanç Muşlu

Journal:

Empirical Software Engineering

Année:

2012

Langue:

english

Fichier:

PDF, 950 KB

english, 2012

16

VyrdMC: Driving Runtime Refinement Checking with Model Checkers

Tayfun Elmas, Serdar Tasiran

Journal:

Electronic Notes in Theoretical Computer Science

Année:

2006

Langue:

english

Fichier:

PDF, 349 KB

english, 2006

17

Climbing Career Steps: Becoming a Full Professor of Economics

Ali C. Tasiran, Ann Veiderpass, Bo Sandelin

Journal:

The Scandinavian Journal of Economics

Année:

1997

Langue:

english

Fichier:

PDF, 56 KB

english, 1997

18

Runtime verification of concurrency-specific correctness criteria

Shaz Qadeer, Serdar Tasiran

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Année:

2012

Langue:

english

Fichier:

PDF, 570 KB

english, 2012

19

Using Haptics to Convey Cause-and-Effect Relations in Climate Visualization

Yannier, N., Basdogan, C., Tasiran, S., Sen, O.L.

Journal:

IEEE Transactions on Haptics

Année:

2008

Langue:

english

Fichier:

PDF, 2.38 MB

english, 2008

20

Random coefficients models of arms imports

Ron P. Smith, Ali Tasiran

Journal:

Economic Modelling

Année:

2010

Langue:

english

Fichier:

PDF, 205 KB

english, 2010

21

Wavelength selective optical logic and interconnects

Unlu, M.S., Strite, S., Demirel, A.L., Tasiran, S., Salvador, A., Morkoc, H.

Journal:

IEEE Journal of Quantum Electronics

Année:

1993

Langue:

english

Fichier:

PDF, 1.49 MB

english, 1993

22

Stochastic Modeling and Optimization for Energy Management in Multicore Systems: A Video Decoding Case Study

Yaldiz, S., Demir, A., Tasiran, S.

Journal:

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

Année:

2008

Langue:

english

Fichier:

PDF, 969 KB

english, 2008

23

Fast Monte Carlo Estimation of Timing Yield With Importance Sampling and Transistor-Level Circuit Simulation

Bayrakci, A.A., Demir, A., Tasiran, S.

Journal:

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

Année:

2010

Langue:

english

Fichier:

PDF, 716 KB

english, 2010

24

[Lecture Notes in Computer Science] Runtime Verification Volume 7687 || Malware Riding Badware: Challenges in Analyzing (Malicious/Benign) Web Applications

Qadeer, Shaz, Tasiran, Serdar

Année:

2013

Langue:

english

Fichier:

PDF, 40 KB

english, 2013

25

[Lecture Notes in Computer Science] Runtime Verification Volume 7687 || Path-Aware Time-Triggered Runtime Verification

Qadeer, Shaz, Tasiran, Serdar

Année:

2013

Langue:

english

Fichier:

PDF, 469 KB

english, 2013

26

[Lecture Notes in Computer Science] Runtime Verification Volume 4839 || From Runtime Verification to Evolvable Systems

Sokolsky, Oleg, Taşıran, Serdar

Année:

2007

Langue:

english

Fichier:

PDF, 497 KB

english, 2007

27

[Lecture Notes in Computer Science] Runtime Verification Volume 7687 ||

Qadeer, Shaz, Tasiran, Serdar

Année:

2013

Langue:

english

Fichier:

PDF, 5.87 MB

english, 2013

28

[Lecture Notes in Computer Science] Runtime Verification Volume 7687 || Monitoring Dense-Time, Continuous-Semantics, Metric Temporal Logic

Qadeer, Shaz, Tasiran, Serdar

Année:

2013

Langue:

english

Fichier:

PDF, 283 KB

english, 2013

29

[ACM Press the 31st annual conference - San Diego, California, United States (1994.06.06-1994.06.10)] Proceedings of the 31st annual conference on Design automation conference - DAC '94 - BDD variable ordering for interacting finite state machines

Aziz, Adnan, Taşiran, Serdar, Brayton, Robert K.

Année:

1994

Langue:

english

Fichier:

PDF, 128 KB

english, 1994

30

Early labour-market experiences of second-generation immigrants in Sweden

Tasiran, Ali, Tezic, Kerem

Journal:

Applied Economics

Année:

2007

Langue:

english

Fichier:

PDF, 185 KB

english, 2007

31

[IEEE Comput. Soc 2001 International Conference on Computer Design. ICCD 2001 - Austin, TX, USA (23-26 Sept. 2001)] Proceedings 2001 IEEE International Conference on Computer Design: VLSI in Computers and Processors. ICCD 2001 - A functional validation technique: biased-random simulation guided by observability-based coverage

Tasiran, S., Fallah, F., Chinnery, D.G., Weber, S.J., Keutzer, K.

Année:

2001

Langue:

english

Fichier:

PDF, 679 KB

english, 2001

32

[IEEE Comput. Soc 2002 3rd International Symposium on Quality Electronic Design - San Jose, CA, USA (18-21 March 2002)] Proceedings International Symposium on Quality Electronic Design - Promising directions in hardware design verification

Qadeer, S., Tasiran, S.

Année:

2002

Langue:

english

Fichier:

PDF, 320 KB

english, 2002

33

[IEEE 3rd Workshop on Embedded Systems for Real-Time Multimedia, 2005. - New York, NY, USA (2005.09.23-2005.09.23)] 3rd Workshop on Embedded Systems for Real-Time Multimedia, 2005. - Characterizing and exploiting task load variability and correlation for energy management in multi core systems

Yaldiz, S., Demir, A., Tasiran, S., Ienne, P., Leblebici, Y.

Année:

2005

Langue:

english

Fichier:

PDF, 359 KB

english, 2005

34

[IEEE 2003. Design Automation Conference - Anaheim, CA, USA (2-6 June 2003)] Proceedings 2003. Design Automation Conference (IEEE Cat. No.03CH37451) - Using a formal specification and a model checker to monitor and direct simulation

Tasiran, S., Yuan Yu,, Batson, B.

Année:

2003

Langue:

english

Fichier:

PDF, 750 KB

english, 2003

35

Wages in Sweden since World War II - gender and age specific salaries in wholesale and retail trade

Gustafsson, Björn, Tasiran, Ali C.

Journal:

Scandinavian Economic History Review

Année:

1994

Langue:

english

Fichier:

PDF, 1.37 MB

english, 1994

36

Research methods in education, 7th edition

Tasiran, Ali C.

Journal:

Studies in Continuing Education

Année:

2014

Langue:

english

Fichier:

PDF, 73 KB

english, 2014

37

Turkish trade unionists and Turkey’s membership of the European Union

Nichols, Theo, Tasiran, Ali C.

Journal:

International Review of Applied Economics

Année:

2014

Langue:

english

Fichier:

PDF, 279 KB

english, 2014

38

An assume-guarantee rule for checking simulation

Henzinger, Thomas A., Qadeer, Shaz, Rajamani, Sriram K., Tasiran, Serdar

Journal:

ACM Transactions on Programming Languages and Systems

Année:

2002

Langue:

english

Fichier:

PDF, 173 KB

english, 2002

39

[Lecture Notes in Computer Science] Runtime Verification Volume 7687 || Scalable Dynamic Partial Order Reduction

Qadeer, Shaz, Tasiran, Serdar

Année:

2013

Langue:

english

Fichier:

PDF, 274 KB

english, 2013

40

[IEEE 2015 IEEE 29th International Conference on Advanced Information Networking and Applications Workshops (WAINA) - Gwangiu, South Korea (2015.3.24-2015.3.27)] 2015 IEEE 29th International Conference on Advanced Information Networking and Applications Workshops - Packet Arrival Analysis in Wireless Sensor Networks

Doddapaneni, Krishna, Shah, Purav, Ever, Enver, Tasiran, Ali, Omondi, Fredrick A., Mostarda, Leonardo, Gemikonakli, Orhan

Année:

2015

Langue:

english

Fichier:

PDF, 215 KB

english, 2015

41

Trade Unions, Institutional Mediation and Industrial Safety: Evidence from the UK

Nichols, T., Walters, D., Tasiran, A. C.

Journal:

The Journal of Industrial Relations

Année:

2007

Langue:

english

Fichier:

PDF, 157 KB

english, 2007

42

[Lecture Notes in Computer Science] Runtime Verification Volume 4839 || Statistical Runtime Checking of Probabilistic Properties

Sokolsky, Oleg, Taşıran, Serdar

Année:

2007

Langue:

english

Fichier:

PDF, 500 KB

english, 2007

43

Goldilocks

Elmas, Tayfun, Qadeer, Shaz, Tasiran, Serdar

Journal:

Communications of the ACM

Année:

2010

Langue:

english

Fichier:

PDF, 370 KB

english, 2010

44

[ACM Press the 2007 ACM SIGPLAN conference - San Diego, California, USA (2007.06.10-2007.06.13)] Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation - PLDI '07 - Goldilocks

Elmas, Tayfun, Qadeer, Shaz, Tasiran, Serdar

Année:

2007

Langue:

english

Fichier:

PDF, 321 KB

english, 2007

45

[ACM Press ACM SIGGRAPH 2003 Papers - San Diego, California (2003.07.27-2003.07.31)] ACM SIGGRAPH 2003 Papers on - SIGGRAPH '03 - TreeJuxtaposer

Munzner, Tamara, Guimbretière, François, Tasiran, Serdar, Zhang, Li, Zhou, Yunhong

Année:

2003

Langue:

english

Fichier:

PDF, 1.03 MB

english, 2003

46

[ACM Press the 36th annual ACM SIGPLAN-SIGACT symposium - Savannah, GA, USA (2009.01.21-2009.01.23)] Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '09 - A calculus of atomic actions

Elmas, Tayfun, Qadeer, Shaz, Tasiran, Serdar

Année:

2008

Langue:

english

Fichier:

PDF, 314 KB

english, 2008

47

[ACM Press the 7th Workshop - Chicago, Illinois (2009.07.19-2009.07.20)] Proceedings of the 7th Workshop on Parallel and Distributed Systems Testing, Analysis, and Debugging - PADTAD '09 - An annotation assistant for interactive debugging of programs with common synchronization idioms

Elmas, Tayfun, Sezgin, Ali, Tasiran, Serdar, Qadeer, Shaz

Année:

2009

Langue:

english

Fichier:

PDF, 166 KB

english, 2009

48

[ACM Press the 31st annual conference - San Diego, California, United States (1994.06.06-1994.06.10)] Proceedings of the 31st annual conference on Design automation conference - DAC '94 - HSIS

Aziz, A., Tasiran, S., Wang, H.-Y., Brayton, R. K., Sangiovanni-Vincentelli, A. L., Balarin, F., Cheng, S.-T., Hojati, R., Kam, T., Krishnan, S. C., Ranjan, R. K., Shiple, T. R., Singhal, V.

Année:

1994

Langue:

english

Fichier:

PDF, 89 KB

english, 1994

49

[ACM Press the Workshop - Edinburgh, United Kingdom (2014.06.09-2014.06.11)] Proceedings of the Workshop on Dynamic Languages and Applications - Dyla'14 - I Know It When I See It

Mutlu, Erdal, Tasiran, Serdar, Livshits, Benjamin

Année:

2014

Langue:

english

Fichier:

PDF, 1.22 MB

english, 2014

50

Editorial

Sokolsky, O., Tasiran, S.

Journal:

Journal of Logic and Computation

Année:

2010

Langue:

english

Fichier:

PDF, 27 KB

english, 2010